Test Upper Envelope time :  is : 00:06:41
Test Lower Envelope time :  is : 00:07:33
Train Upper Envelope time :  is : 00:26:47
Train Lower Envelope time :  is : 00:29:44
Time taken for fold 0 is : 12:05:58
Average Time taken to solve each query by solver optimathsat is : 00:00:00
